signature S = sig
  exception it
end;
